Proof assistants

Results: 54



#Item
51Theoretical computer science / Formal methods / Computer science / Software engineering / Logic in computer science / Dependently typed programming / Proof assistants / Proof-carrying code / Formal verification / Mathematical proof / CurryHoward correspondence / Algorithm

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Add to Reading List

Source URL: openwall.info

Language: English - Date: 2014-10-13 00:40:06
52Proof assistants / Functional languages / Theoretical computer science / Formal methods / Logic in computer science / Frama-C / SPARK / Coq / Isabelle / OCaml / Formal verification / French Institute for Research in Computer Science and Automation

The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2

Add to Reading List

Source URL: why3.lri.fr

Language: English - Date: 2015-05-22 01:14:27
53Functional languages / Procedural programming languages / Standard ML / ML / Lambda calculus / Function / Axiom / Valuation / Type system / Mathematics / Programming language theory / Software engineering

Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework Gabriel Dos Reis1 , David Matthews2 , and Yue Li1 1

Add to Reading List

Source URL: paradise.caltech.edu

Language: English - Date: 2014-05-18 16:53:02
54Restorative dentistry / Dental assistant / Dental sealant / Dental caries / Dentist / Orthodontics / Crown / Dentistry / Medicine / Prosthodontology

BOARD APPROVED COURSES REQUIRED FOR DENTAL ASSISTANTS TO PERFORM DUTIES UNDER TITLE 5, SERIES 1, SECTION 8.2 Upon submission of proof of successful completion of a program of education approved by the WV Board of Dental

Add to Reading List

Source URL: www.wvdentalboard.org

Language: English - Date: 2009-08-12 16:31:50
UPDATE